from ctypes import *
adder = CDLL("./a.so")
res_int = adder.add_int(3,4)
print(res_int)